Definitions | Dsys, @i: with declarations ds:dsda:da k(v) sends f s v on link l, if b t else f fi, eqof(d), IdDeq, MsgA, with declarations ds:dsda:dak(v) sends f s v on link l, , State(ds), Valtype(da;k), f(x)?z, KindDeq, rcv(l,tg), a:A fp B(a), x:A. B(x),  x. t(x), IdLnk, Knd, t T, Id |